有向非巡廻 graph (DAG)
directed acyclic graph
有向非巡回グラフ - Wikipedia
有限な半順序 (poset)
topological sort
トポロジカルソート - Wikipedia